query formulation

查询公式化